* src/xdisp.c (note_fringe_highlight): Another attempt to fix bug#70385.
authorEli Zaretskii <eliz@gnu.org>
Tue, 16 Apr 2024 18:23:37 +0000 (21:23 +0300)
committerEli Zaretskii <eliz@gnu.org>
Tue, 16 Apr 2024 18:23:37 +0000 (21:23 +0300)
commitd39f0a165a7f87336990e3304f1a8fa455a61600
treed410b82b5fbd7dfe1e68043231ffb775a164bde4
parent1be21dd95388037cfb71474a1fbd2a7d3583a80a
* src/xdisp.c (note_fringe_highlight): Another attempt to fix bug#70385.
src/xdisp.c